Sökt på: bertrand meyer
totalt 70 träffar
Handbook of Requirements and Business Analysis
Meyer’s Handbook of Requirements and Business Analysis is a comprehensive treatise providing the reader with all the principles and techniques necessary to produce effective …
Objects, Components, Models and Patterns
For the past 20 years the TOOLS conferences have continuously spread new technologies in the world of object-orientation, component technology and so- ware engineering in general. …
Instant.Net
Provides information for students taking courses on component-based development, object technology, operating systems, Web development, e-commerce, or .NET. This book presents a …
Tools for Practical Software Verification
The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the …
Software Engineering Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East-European Conference on Software Engineering Techniques, CEE-SET …
Empirical Software Engineering and Verification
Software engineering, is widely recognized as one of today's mostexciting, stimulating, and profitable research areas, with a significant practical impact on the software industry …
Software Engineering Approaches for Offshore and Outsourced Development
Tests and Proofs
To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of …
Software Engineering
TheLASER Summer School is intended for professionals from industry (engineers andmanagers) as well as university researchers, including PhD students. Participants learn about the …
Dependable Systems: Software, Computing, Networks
Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software …
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
This book constitutes revised selected papers from the First International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software …